Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
نویسنده
چکیده
We define a finitary model of first-order Peano Arithmetic in which quantification is interpreted constructively in terms of Turing-computability, and show that it is inconsistent with the standard interpretation of PA. 1 Hilbert’s interpretation of quantification Hilbert interpreted quantification in terms of his ε-function as follows [Hi27]: IV. The logical ε-axiom 13. A(a)→ A(ε(A)) Here ε(A) stands for an object of which the proposition A(a) certainly holds if it holds of any object at all; let us call ε the logical ε-function. 1. By means of ε, “all” and “there exists” can be defined, namely, as follows: (i) (∀a)A(a)↔ A(ε(¬A)) (ii) (∃a)A(a)↔ A(ε(A)) . . . On the basis of this definition the ε-axiom IV(13) yields the logical relations that hold for the universal and the existential quantifier, such as: (∀a)A(a)→ A(b) . . . (Aristotle’s dictum), 1
منابع مشابه
An Exegetic Study of the Verse 35 of the Chapter Sad with an Answer to the Objection against the Solomon`s Prayer
Solomon, the prophet, (a) called upon the Almighty God for a unique government, as stated in the verse 35 of Sad: "He said: My Lord! Forgive me and bestow on me sovereignty such shall not belong to any after me." The Almighty God granted him a unique government. Here an objection rises in the mind: why did the prophet called upon God such a government that no one may have after him? Isn`t it a ...
متن کاملAgainst Alusi`s Objection on the Imamate of Imams on the Basis of the Word Innama in the Verse of Wilayat
Shi'ite commentators have always proved Imam Ali`s succession for the Prophet based on the 55 verses of Maidah known as the verse of wilayat. Some Sunnite commentators have put some objections forward against this interpretative approach. Alusi, one Sunni commentator, states that: The Shi'a interpretation of the verse 55 of Maidah leads to the negation of the authority of the other Shi'a Imams....
متن کاملFrom constructivism to computer science 1
Preamble My ÿeld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their ÿeld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the construct...
متن کاملLewis’s Dilemma of Explanation under Indeterminism Exposed and Resolved
In a brief passage, David Lewis derives from quantum-theory a dilemma regarding the explanation of chance events which he tries to solve by first distinguishing plain from contrastive why-questions, and then arguing that with respect to chance events, only plain why-questions have answers. His brevity warrants elaboration and critique. I endorse his derivation, but I make a structural objection...
متن کاملErrors upon Errors: A Reply to Joyce
In his response to my paper „The Error in the Error Theory‟ criticizing his and J. L. Mackie‟s moral error theory, Richard Joyce finds my treatment of his position inaccurate and my interpretation of morality implausible. In this reply I clarify my objection, showing that it retains its force against their error theory, and I clarify my interpretation of morality, showing that Joyce‟s objection...
متن کامل